منابع مشابه
Graphical Presentations of Symmetric Monoidal
We define a notion of symmetric monoidal closed (smc) theory, consisting of a smc signature augmented with equations, and describe the classifying categories of such theories in terms of proof nets.
متن کاملQuasi-Symmetric Graphical Log-Linear Models
We propose an extension of graphical log-linear models to allow for symmetry constraints on some interaction parameters that represent homologous factors. The conditional independence structure of such quasi-symmetric (QS) graphical models is described by an undirected graph with coloured edges, in which a particular colour corresponds to a set of equality constraints on a set of parameters. Un...
متن کاملGraphical Presentations of Symmetric Monoidal Closed Theories
We define a notion of symmetric monoidal closed (smc) theory, consisting of a smc signature augmented with equations, and describe the classifying categories of such theories in terms of proof nets.
متن کاملVLSI Implementation Of High Performance Montgomery Modular Multiplication For Crypto graphical Application
-The multiplier receives and outputs the data with binary representation and uses only one-level Carry Save Adder (CSA) to avoid the carry propagation at each addition operation. This CSA is also used to perform operand pre computation and format conversion from the carry save format to the binary representation, leading to a low hardware cost and short critical path delay at the expense of ext...
متن کاملNEON Crypto
NEON is a vector instruction set included in a large fraction of new ARM-based tablets and smartphones. This paper shows that NEON supports high-security cryptography at surprisingly high speeds; normally data arrives at lower speeds, giving the CPU time to handle tasks other than cryptography. In particular, this paper explains how to use a single 800MHz Cortex A8 core to compute the existing ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Trends in Applied Sciences Research
سال: 2010
ISSN: 1819-3579
DOI: 10.3923/tasr.2010.146.151